21 research outputs found
Galois-stability for Tame Abstract Elementary Classes
We introduce tame abstract elementary classes as a generalization of all
cases of abstract elementary classes that are known to permit development of
stability-like theory. In this paper we explore stability results in this
context. We assume that \K is a tame abstract elementary class satisfying the
amalgamation property with no maximal model. The main results include:
(1) Galois-stability above the Hanf number implies that \kappa(K) is less
than the Hanf number. Where \kappa(K) is the parallel of \kapppa(T) for f.o. T.
(2) We use (1) to construct Morley sequences (for non-splitting) improving
previous results of Shelah (from Sh394) and Grossberg & Lessmann.
(3) We obtain a partial stability-spectrum theorem for classes categorical
above the Hanf number.Comment: 23 page
Shelah's Categoricity Conjecture from a successor for Tame Abstract Elementary Classes
Let K be an Abstract Elemenetary Class satisfying the amalgamation and the
joint embedding property, let \mu be the Hanf number of K. Suppose K is tame.
MAIN COROLLARY: (ZFC) If K is categorical in a successor cardinal bigger than
\beth_{(2^\mu)^+} then K is categorical in all cardinals greater than
\beth_{(2^\mu)^+}.
This is an improvment of a Theorem of Makkai and Shelah ([Sh285] who used a
strongly compact cardinal for the same conclusion) and Shelah's downward
categoricity theorem for AECs with amalgamation (from [Sh394]).Comment: 19 page
Limit Models in Strictly Stable Abstract Elementary Classes
In this paper, we examine the locality condition for non-splitting and
determine the level of uniqueness of limit models that can be recovered in some
stable, but not superstable, abstract elementary classes. In particular we
prove:
Suppose that is an abstract elementary class satisfying
1. the joint embedding and amalgamation properties with no maximal model of
cardinality .
2. stabilty in .
3. .
4. continuity for non--splitting (i.e. if and is a
limit model witnessed by for some limit
ordinal and there exists so that does
not -split over for all , then does not -split over
).
For and limit ordinals both with cofinality , if satisfies symmetry for non--splitting (or just
-symmetry), then, for any and that are
and -limit models over , respectively, we have that
and are isomorphic over .Comment: This article generalizes some results from arXiv:1507.0199
Categoricity in Abstract Elementary Classes with No Maximal Models
The results in this paper are in a context of abstract elementary classes
identified by Shelah and Villaveces in which the amalgamation property is not
assumed. The long-term goal is to solve Shelah's Categoricity Conjecture in
this context. Here we tackle a problem of Shelah and Villaveces by proving that
in their context, the uniqueness of limit models follows from categoricity
under the assumption that the subclass of amalgamation bases is closed under
unions of bounded, increasing chains.Comment: To Appear in the Annals of Pure and Applied Logi
Upward Stability Transfer for Tame Abstract Elementary Classes
Grossberg and VanDieren have started a program to develop a stability theory
for tame classes. We prove, for instance, that for tame abstract elementary
classes satisfying the amlagamation property and for large enough cardinals
kappa, stability in kappa implies stability in kappa^{+n} for each natural
number n